[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 256 3114 0 594 0 4114 -1

N.S.

1 1.00 0.98 11.93 0.00 2.28 0.00 15.76 -0.00

time (sec)

N/A 0.260 0.270 0.803 0.000 0.397 0.000 5.275 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 118 734 0 277 0 1322 -1

N.S.

1 1.00 0.87 5.44 0.00 2.05 0.00 9.79 -0.01

time (sec)

N/A 0.061 0.084 0.049 0.000 0.365 0.000 4.864 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.023 0.606 0.033 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.022 3.210 180.000 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

404 404 374 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.511 0.352 0.129 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 235 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.255 0.198 0.023 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 106 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.032 0.020 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.030 1.943 0.172 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

88 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.189 0.175 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

79 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.205 0.178 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

526 526 446 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.591 0.701 0.162 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 282 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.316 0.286 0.034 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 127 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.006 0.028 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.037 1.067 0.164 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

88 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.566 0.165 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

79 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.139 0.549 0.175 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

660 660 511 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.714 1.134 0.146 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

413 413 326 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.382 0.452 0.024 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 152 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.122 0.025 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.037 1.055 0.174 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

88 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 4.194 0.167 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

79 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.157 3.743 0.171 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

383 383 331 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.532 0.293 0.115 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 252 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.379 0.173 0.178 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 164 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.206 0.104 0.035 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.013 0.025 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.033 0.060 0.161 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 1667 0 0 0 0 0 -1

N.S.

1 1.00 3.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.960 5.483 0.173 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 901 0 0 0 0 0 -1

N.S.

1 1.00 2.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.641 2.164 0.144 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 338 0 0 0 0 0 -1

N.S.

1 1.00 1.54 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.300 0.628 0.032 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 139 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.058 0.024 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.039 0.176 0.185 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

520 520 1990 0 0 0 0 0 -1

N.S.

1 1.00 3.83 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.691 4.492 0.114 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 1044 0 0 0 0 0 -1

N.S.

1 1.00 2.48 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.011 2.247 0.146 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 353 0 0 0 0 0 -1

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.425 1.266 0.030 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 163 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.114 0.024 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.037 0.329 0.149 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 137 0 0 479 469 0 -1

N.S.

1 1.00 0.84 0.00 0.00 2.94 2.88 0.00 -0.01

time (sec)

N/A 0.116 0.157 0.143 0.000 0.429 30.764 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 118 0 0 303 139 0 -1

N.S.

1 1.00 0.89 0.00 0.00 2.30 1.05 0.00 -0.01

time (sec)

N/A 0.064 0.093 0.147 0.000 0.419 2.304 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 83 140 0 180 326 110 -1

N.S.

1 1.00 0.86 1.44 0.00 1.86 3.36 1.13 -0.01

time (sec)

N/A 0.040 0.057 0.965 0.000 0.415 16.742 5.866 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 80 0 0 216 85 92 -1

N.S.

1 1.00 0.99 0.00 0.00 2.67 1.05 1.14 -0.01

time (sec)

N/A 0.037 0.116 0.170 0.000 0.393 7.320 2.804 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 85 0 0 414 117 188 -1

N.S.

1 1.00 0.75 0.00 0.00 3.63 1.03 1.65 -0.01

time (sec)

N/A 0.059 0.029 0.132 0.000 0.406 34.242 5.997 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 78 0 0 745 141 0 -1

N.S.

1 1.00 0.54 0.00 0.00 5.14 0.97 0.00 -0.01

time (sec)

N/A 0.090 0.034 0.182 0.000 0.381 123.272 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 78 0 0 1177 0 0 -1

N.S.

1 1.00 0.44 0.00 0.00 6.69 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.035 0.157 0.000 0.402 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

590 590 1143 0 0 0 0 0 -1

N.S.

1 1.00 1.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.536 4.287 0.182 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

510 510 351 0 0 0 0 0 -1

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.055 1.114 0.172 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

418 418 301 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.725 1.117 0.184 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 342 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.527 2.296 0.164 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 423 419 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.797 3.892 0.137 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

503 503 413 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.117 4.337 0.154 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

583 583 444 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.338 5.671 0.190 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.027 0.681 0.175 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.586 0.138 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.025 0.823 0.187 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.027 0.885 0.174 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

83 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.172 0.557 0.129 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

79 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.163 0.592 0.139 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

78 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.659 0.132 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.035 4.857 0.165 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.037 3.010 0.174 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.038 0.550 0.174 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 81 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.053 0.157 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.019 0.206 0.123 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 2.983 0.007 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 14.755 0.163 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.028 0.048 0.202 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.031 10.363 0.169 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.036 12.769 0.147 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 0.287 0.161 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

474 474 343 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.402 1.082 0.148 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 262 0 0 0 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.271 0.368 0.132 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 181 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.148 0.143 0.042 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 103 0 0 60 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.051 0.035 0.000 0.085 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.020 0.153 0.173 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 589 988 744 408 682 664 661

N.S.

1 1.00 1.87 3.14 2.36 1.30 2.17 2.11 2.10

time (sec)

N/A 0.364 0.383 0.679 0.316 0.391 1.028 5.866 0.546

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 375 621 537 269 427 424 393

N.S.

1 1.00 1.54 2.55 2.20 1.10 1.75 1.74 1.61

time (sec)

N/A 0.277 0.214 0.563 0.305 0.399 0.715 5.967 0.408

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 214 338 360 156 226 235 208

N.S.

1 1.00 1.36 2.15 2.29 0.99 1.44 1.50 1.32

time (sec)

N/A 0.188 0.105 0.476 0.332 0.392 0.436 5.302 0.352

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 66 142 216 77 85 103 100

N.S.

1 1.00 0.84 1.80 2.73 0.97 1.08 1.30 1.27

time (sec)

N/A 0.092 0.039 0.388 0.325 0.376 0.216 5.473 0.637

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 42 108 36 31 33 31

N.S.

1 1.00 1.00 1.56 4.00 1.33 1.15 1.22 1.15

time (sec)

N/A 0.026 0.004 0.294 0.310 0.371 0.094 3.634 0.353

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 91 215 0 0 0 0 -1

N.S.

1 1.00 1.05 2.47 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.049 1.081 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 141 372 0 0 0 0 -1

N.S.

1 1.00 0.93 2.46 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.216 0.111 1.175 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 226 705 522 0 0 0 -1

N.S.

1 1.00 0.90 2.82 2.09 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.371 0.163 1.164 0.621 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

579 579 733 1891 1437 833 1479 1588 1346

N.S.

1 1.00 1.27 3.27 2.48 1.44 2.55 2.74 2.32

time (sec)

N/A 1.069 0.636 0.747 0.320 0.380 2.272 4.166 0.962

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

464 464 460 1178 979 546 918 1005 803

N.S.

1 1.00 0.99 2.54 2.11 1.18 1.98 2.17 1.73

time (sec)

N/A 0.687 0.385 0.541 0.318 0.380 1.348 7.022 0.692

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 171 632 606 315 473 548 408

N.S.

1 1.00 0.72 2.66 2.55 1.32 1.99 2.30 1.71

time (sec)

N/A 0.362 0.122 0.522 0.312 0.388 0.683 5.273 0.498

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 89 257 324 148 175 228 163

N.S.

1 1.00 0.79 2.27 2.87 1.31 1.55 2.02 1.44

time (sec)

N/A 0.139 0.044 0.355 0.303 0.393 0.361 2.878 0.335

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 64 136 56 51 53 50

N.S.

1 1.00 1.00 2.37 5.04 2.07 1.89 1.96 1.85

time (sec)

N/A 0.041 0.005 0.279 0.290 0.366 0.089 4.748 0.481

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 189 409 324 0 0 0 -1

N.S.

1 1.00 1.33 2.88 2.28 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.208 0.122 1.181 0.352 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 360 0 622 0 0 0 -1

N.S.

1 1.00 1.32 0.00 2.28 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.398 0.366 0.352 0.360 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

485 485 680 0 1068 0 0 0 -1

N.S.

1 1.00 1.40 0.00 2.20 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.736 0.614 0.375 2.605 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 397 567 0 364 0 0 -1

N.S.

1 1.00 1.73 2.47 0.00 1.58 0.00 0.00 -0.00

time (sec)

N/A 0.470 0.796 3.635 0.000 0.390 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 279 361 0 245 0 0 -1

N.S.

1 1.00 1.58 2.04 0.00 1.38 0.00 0.00 -0.01

time (sec)

N/A 0.359 0.238 3.306 0.000 0.355 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 137 200 0 148 0 0 -1

N.S.

1 1.00 1.10 1.61 0.00 1.19 0.00 0.00 -0.01

time (sec)

N/A 0.267 0.151 2.867 0.000 0.397 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 76 88 0 76 0 0 -1

N.S.

1 1.00 1.07 1.24 0.00 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.155 0.082 2.038 0.000 0.360 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 25 30 25 17 25 23

N.S.

1 1.00 1.00 1.09 1.30 1.09 0.74 1.09 1.00

time (sec)

N/A 0.045 0.014 0.508 0.273 0.351 0.083 4.643 0.850

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

72 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.166 0.288 1.028 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

115 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.204 6.841 0.950 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

485 485 1400 0 0 0 0 0 -1

N.S.

1 1.00 2.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.453 14.539 0.311 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

417 417 576 0 0 0 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.980 5.533 0.292 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

349 349 268 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.700 1.365 0.327 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]